sum rule in probability